状態 × 入力 → 出力